4.11. Logica Proposizionale - Soddisfacibile E Contraddittorio -